@prefix : <http://laurenzi.ch#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://laurenzi.ch#> .

<http://laurenzi.ch> rdf:type owl:Ontology .

#################################################################
#    Annotation properties
#################################################################

###  http://laurenzi.ch#hasBudget
:hasBudget rdf:type owl:AnnotationProperty .


###  http://laurenzi.ch#hasName
:hasName rdf:type owl:AnnotationProperty .


###  http://laurenzi.ch#hasTitle
:hasTitle rdf:type owl:AnnotationProperty .


###  http://laurenzi.ch#likes
:likes rdf:type owl:AnnotationProperty .


###  http://laurenzi.ch#livesIn
:livesIn rdf:type owl:AnnotationProperty .


###  http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled
<http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled> rdf:type owl:AnnotationProperty .


#################################################################
#    Object Properties
#################################################################

###  http://laurenzi.ch#hasChild
:hasChild rdf:type owl:ObjectProperty ;
          rdfs:domain :Person ;
          rdfs:range :Person .


###  http://laurenzi.ch#hasParent
:hasParent rdf:type owl:ObjectProperty .


#################################################################
#    Classes
#################################################################

###  http://laurenzi.ch#City
:City rdf:type owl:Class .


###  http://laurenzi.ch#Man
:Man rdf:type owl:Class ;
     rdfs:subClassOf :Person .


###  http://laurenzi.ch#Movie
:Movie rdf:type owl:Class .


###  http://laurenzi.ch#Person
:Person rdf:type owl:Class .


###  http://laurenzi.ch#UnhappyMan
:UnhappyMan rdf:type owl:Class .


###  http://laurenzi.ch#Woman
:Woman rdf:type owl:Class ;
       rdfs:subClassOf :Person .


#################################################################
#    Individuals
#################################################################

###  http://dbpedia.org/resource/The_Terminator
<http://dbpedia.org/resource/The_Terminator> rdf:type owl:NamedIndividual ,
                                                      :Movie ;
                                             :hasBudget "6400000" ;
                                             :hasTitle "Terminator" .


###  http://laurenzi.ch#Adelia
:Adelia rdf:type owl:NamedIndividual ,
                 :Woman ;
        :hasChild :Grazia .


###  http://laurenzi.ch#Alina
:Alina rdf:type owl:NamedIndividual ,
                :Woman ;
       :hasChild :Grazia .


###  http://laurenzi.ch#Amalia
:Amalia rdf:type owl:NamedIndividual ,
                 :Woman ;
        :hasChild :Grazia .


###  http://laurenzi.ch#Emanuele
:Emanuele rdf:type owl:NamedIndividual ,
                   :Man ;
          :hasName "Emanuele Laurenzi" ;
          :livesIn :Zurich .


###  http://laurenzi.ch#Fabiana
:Fabiana rdf:type owl:NamedIndividual ,
                  :Woman ;
         :likes <http://dbpedia.org/resource/The_Terminator> .


###  http://laurenzi.ch#Grazia
:Grazia rdf:type owl:NamedIndividual ,
                 :Woman ;
        :hasChild :Emanuele ,
                  :Fabiana .


###  http://laurenzi.ch#Zurich
:Zurich rdf:type owl:NamedIndividual ,
                 :City ;
        :hasName "Zurich" .


#################################################################
#    Annotations
#################################################################

:ITEHighSchool :hasName "ITEHighSchool" .


#################################################################
#    Rules
#################################################################

<http://laurenzi.ch/p> rdf:type <http://www.w3.org/2003/11/swrl#Variable> .

<http://laurenzi.ch/c> rdf:type <http://www.w3.org/2003/11/swrl#Variable> .

[ <http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled> "true"^^xsd:boolean ;
   rdfs:comment "has parent property" ;
   rdfs:label "Inverse of hasChild" ;
   rdf:type <http://www.w3.org/2003/11/swrl#Imp> ;
   <http://www.w3.org/2003/11/swrl#body> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
                                           rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
                                                       <http://www.w3.org/2003/11/swrl#propertyPredicate> :hasChild ;
                                                       <http://www.w3.org/2003/11/swrl#argument1> <http://laurenzi.ch/p> ;
                                                       <http://www.w3.org/2003/11/swrl#argument2> <http://laurenzi.ch/c>
                                                     ] ;
                                           rdf:rest rdf:nil
                                         ] ;
   <http://www.w3.org/2003/11/swrl#head> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
                                           rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
                                                       <http://www.w3.org/2003/11/swrl#propertyPredicate> :hasParent ;
                                                       <http://www.w3.org/2003/11/swrl#argument1> <http://laurenzi.ch/c> ;
                                                       <http://www.w3.org/2003/11/swrl#argument2> <http://laurenzi.ch/p>
                                                     ] ;
                                           rdf:rest rdf:nil
                                         ]
 ] .

###  Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
